Nuprl Definition : rtag 11,40

rtag(infoe) == case info(e) of inl(p) =>  | inr(q) => q.2 
latex


Definitionst.2, , rtag(infoe)
FDL editor aliasesrtag

origin